symbolic logic

The Logic-information method is one kind of theories of quantification , and it is a comprehensive mathematical analysis method based on symbolic logic , Comprehensive analysis , and mathematical statistics .

逻辑信息法是数量化理论的一种，该方法是以数理逻辑、组合分析及数理统计为基础的一种综合数学分方法。

Formal expression of rule is established based on symbolic logic firstly . The knowledge-based diagnosis method , relevant theorems and rule indexing approach adaptive for fast diagnosis and knowledge evolvement online are established .

为了便于快速诊断和规则的在线演化，本论文首先基于数理逻辑建立规则的一般表达方法，并在此基础上提出了适合知识在线演化的基于知识的诊断方法及相关定理和规则索引方法。

To the lay mind , symbolic logic can be very difficult .

对外行的人来讲，符号逻辑可能非常难。

In modern quality engineering , the widely used quality control method is based on the symbolic logic and statistics .

现代质量工程中，经常采用的质量控制方法基本上是基于数理统计原理的。

Since the introduction of symbolic logic , logical syntax clearly shows formal feature .

符号逻辑的运用，使逻辑句法呈现出明显的形式化特征。

Study on Cooperative Innovation Feat 's Symbolic Logic Model of U / I Knowledge Alliance

U/I知识联盟协同创新绩效的数理分析模型

Symbolic logic is often divided into two branches , propositional logic and predicate logic .

符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

A person skilled at symbolic logic .

熟练于逻辑符号的人。

Finally , the given symbolic logic formula can prove the rationality of component model and validity of framework extension .

最后通过给定的命题逻辑规则公式来验证构件模型的合理性、框架扩展的正确性。

An operation that follows the rules of symbolic logic . Loosely , a mathematical or logic operator .

依据数理逻辑法则进行的操作或运算。不严格地说，一种数学或逻辑运算符。

Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference .

符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。

This dissertation detailedly investigate the symbolic logic and some typical techniques for low power FSM logic synthesis and optimization .

论文详细讨论了低功耗有限状态机综合与优化中的符号逻辑和一些典型方法。

George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic .

乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。

In symbolic logic and mechanical theorem proving , semantic resolution PI-clash is related to the order of electrons .

符号逻辑与定理机器证明的研究中，语义归结PI碰撞与电子排列次序有关。

Church reviewed it for the Journal of Symbolic Logic , and thereby put the words ' Turing machine ' into published form .

丘奇重新审阅了该文章，直接引入“图灵机”这个名称，并寄给《符号逻辑》期刊。

Mathematical logic , also known as symbolic logic , was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself .

数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。

Mathematical logic is an extension of symbolic logic into other areas , in particular to the study of model theory , proof theory , set theory , and recursion theory .

数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。

The schoolwork came easily to me , although I entered somewhat behind my class-mates in understanding that other method of symbolic logic : arithmetic .

学校的作业对我来说不难，但我在另一种象征逻辑学数学方面的理解力就落后于同学。

Traditional leading economic growth theories mostly overlooked the study of institution factor , while the new institutional economics ' study on the relation between institution and growth lacked precise symbolic logic and analysis .

传统主流增长理论大多忽视了对制度因素的研究；而新制度经济学对制度与增长关系的研究又缺乏严密的数理演绎和分析。

I 'll just leave you with a little conundrum because that 's philosophical logic we 're not doing that here , we are doing symbolic logic here .

我会给你们一些难题因为，我们在做哲学逻辑，我们在做符号逻辑。

In October 1936 he had submitted to Church 's Journal of Symbolic Logic a paper which proposed a way of making precise what was meant by ' solving a general problem ' .

1936年10月，他向《符号逻辑》提交了一篇论文，关于通过一种普适的方法提高计算精度。

From the perspective of symbolic logic , the Existential Graphs is an abstract , mathematical structure , while the specific graphs on the sheet are the structure ' graphs replicas .

符号逻辑视角下的存在图是一个抽象的数学结构，页面上具体的图形是这个数学结构的图形副本。

Symbolic logic is a very alarming mouthful for most mathematicians , and the logicians are not very much interested in making it more palatable .

对于大部分数学家而言，符号逻辑是令人惧怕的，但对于逻辑学家而言，又没兴趣把它搞得让人舒服些。

The main Amateurish PE Universities are selected in Henan Province as research aims in this research in the forms of documentary method , interviewing method , questionnaire method , logical analyzing method and symbolic logic statistical method .

本研究选取人口排名全国第一的河南省各地市级业余体校作为研究对象，通过文献资料法、问卷调查法、访谈法、逻辑分析法、数理统计法等研究方法。

A system of symbolic logic that represents individuals and predicates and quantification over individuals ( as well as the relations between propositions ) . The term " Raba " means " roaming artist " .

表示个体，谓词，个体量化，和命题关系的一种形式逻辑。“热巴”：“热巴”一词，意为“流浪艺人”、也是人们对其表演形式的称谓。

Firstly , this paper abstracts and describes the component modeling structure by analyzing the composition of framework meta-model and applying the method of domain-oriented features model , and describes the logic relation and semantic constraint between components by applying the symbolic logic formula .

在分析了框架元模型组成元素的基础上，应用面向领域的特征模型的方法，对构件模型组织结构进行统一的抽象和描述，并用命题逻辑公式来表示构件之间的逻辑关系和语义约束；